Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network

Object::node:Node pwr:Pwr states:State information:set of Data neighbors: set of Neighbor connectivity:Connectivity; Table 1 Fields of abstract object # Field name Field description 1 Node A node may be a sensor, actor or gateway having certain position. Position of a node is recorded in the form of x and y-coordinates 2 Pwr The nodes have some power which is represented as union type, i.e., HIGH or LOW 3 States It records status of sensor, actor and gateway represented as union of quote types 4 Information This field is used for recording the sensed data 5 Neighbours It illustrates that the neighbor nodes exists in the connected network 6 Connectivity It checks the connectivity status of a sensor, actor and a gateway Page 12 of 27 Afzaal and Zafar Complex Adapt Syst Model (2016) 4:27 We assume WSAN partitioned into connected subnets. In a subnet, sensors sense events from the environment and transmit the information to nearby actors which coordinate with each other for the optimal response. A gateway in a subnet has information of a subnet and communicates with other subnets. A subnet is defined by composite object Subnet having three fields, namely, nodes, edges and communication_interface. The description of its fields is shown in Table 2.